cctail() $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr (inl $\cdot$ )